Search Results
Lightning Talk: Proof-carrying types - Peter Van Sandt - CppNow 2022
Lightning Talk: Cotuple - A Trip to Category Theory and Back - Tobias Löw - CppNow 2022
Lightning Talk: Are We There Yet? - Staffan Tjernsstrom - CppNow 2022
Lightning Talk: Have You Heard of Provenance? - Ezra Chung - CppNow 2022
Proof Carrying Data - Pratyush Mishra at Zcon3
Computer Science: Proof Carrying LLVM?
Benedikt Bünz: Proof-Carrying Data without Succinct Arguments
Carrying The Code
A Lock-free Atomic shared_ptr - Timur Doumler - CppNow 2022
Prof. Neel Krishnaswami | CN: A separation-logic refinement type system for production systems...
Zether Towards Privacy in a Smart Contract World - Benedikt Bunz, Stanford
